Static Transition Compression
نویسندگان
چکیده
Starting from an operational specification of a translation from a structured to an unstructured imperative language, we point out how a compositional and context-insensitive translation gives rise to static chains of jumps. Taking an inspiration from the notion of continuation, we state a new compositional and context-sensitive specification that provably gives rise to no static chains of jumps, no redundant labels, and no unused labels. It is defined with one inference rule per syntactic construct and operates in linear time and space on the size of the source program (indeed it operates in one pass).
منابع مشابه
Static Path Compression in Timed Systems
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compression. The idea behind the path compression consists in identifying a path (or a set of paths) on which a process executes a sequence of transitions that do not influence a reachability property being verified, and r...
متن کاملQuasi-static Axial Compression of thin-walled Circular Composite Tubes
Assessing the behavior of composite structures which are subjected to impact loads is one of the important subjects in the field of mechanical sciences. Using thin-walled tubes which collapsed and absorbed the impact energy is a well-known method to prevent damages to the other parts of the structures. In this paper, deformations, crushing length, peak load, mean force and energy absorption cap...
متن کاملFracture behavior of Zr55Cu30Al10Ni5 bulk metallic glass under quasi-static and dynamic compression
Fracture behavior of Zr55Cu30Al10Ni5 bulk metallic glass was investigated under quasi-static compression at strain rate of 10/s using an Instron testing machine and dynamic split Hopkinson bar (SHPB) compression with strain rate of about 1900–4300/s. Pronounced strain softening, especially past the peak stress, was observed under SHPB tests and compared with the distinct flow serrations under q...
متن کاملEffect of Through Stationary Edge and Center Cracks on Static Buckling Strength of Thin Plates under Uniform Axial Compression
Thin plate structures are more widely used in many engineering applications as one of the structural members. Generally, buckling strength of thin shell structures is the ultimate load carrying capacity of these structures. The presence of cracks in a thin shell structure can considerably affect its load carrying capacity. Hence, in this work, static buckling strength of a thin square plate wit...
متن کاملThe phase transition of corrected black hole with f(R) gravity
In this letter, we consider static black hole in f(R) gravity.We take advantage from corrected entropy and temperature and investigate such black hole. Finally, we study the $ P - V $ critically and phase transition of corrected black hole with respect to entropy and temperature. Here also, we obtain the heat capacity for the static black hole in $ f(R) $ gravity. This calculation help us...
متن کاملStatic and Dynamic Compression of Earth Materials
The triennium, 1967 -1970 , has been a period of marked increase in acquisition of pressure-volume data for minerals, rocks, and compounds of geophysical interest. A wide assortment of data has been obtained by the conventional dilatometric techniques as well as by the more recently developed X-ray diffraction and shock-wave techniques. Highlights of progress during the last 3 years include hyd...
متن کامل